Action(${\it dec}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Unit+$k$:Knd$\times$${\it dec}$($k$)